1. ......................
پدیدآورنده: ISILC Proof Theory Symposium, University of Kiel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Proof theory,Bibliography ، Schutte, Kurt
رده :
QA
3
.
L28
no
.
500
2. <A> Framework for Priority Arguments
پدیدآورنده: / Manuel Lerman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
رده :
QA9
,.
54
.
F7
,
L47
2010
3. A bridge to advanced mathematics
پدیدآورنده: Sentilles, Dennis
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory,، Arithmetic-- Foundations
رده :
QA
9
.
S44
4. A framework for priority arguments
پدیدآورنده: Manuel Lerman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
34
5. A middle way to God
پدیدآورنده: Hallett, Garth
کتابخانه: كتابخانه دانشگاه اديان و مذاهب (قم)
موضوع: Proof ، God,، Theism,، Other minds )Theory of knowledge(
رده :
BT
102
.
H336
2003
6. A middle way to God
پدیدآورنده: Garth L. Hallett
کتابخانه: كتابخانه وزارت امور خارجه (تهران)
موضوع: God- Proof,Other minds (Theory of knowledge)
7. Adapting proofs-as-programs
پدیدآورنده: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
8. Adapting proofs-as-programs
پدیدآورنده: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing., Poernomo, Iman Hafiz, 1976-
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Curry-Howard isomorphism., Proof theory., Logic, Symbolic and mathematical., Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
رده :
QA
9
.
54
.
P64
2005
9. Adapting proofs-as-programs
پدیدآورنده: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
رده :
QA
,
9
.
54
,.
P64
,
2005
10. Adapting proofs-as-programs
پدیدآورنده: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
11. Advances in Proof Theory
پدیدآورنده: \ Reinhard Kahle, Thomas Strahm, Thomas Studer Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory -- Congresses.
رده :
E-Book
,
12. Advances in proof theory
پدیدآورنده: Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Proof theory
رده :
QA
9
.
54
.
A39
13. An accompaniment to higher mathematics
پدیدآورنده: George R. Exner
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
E96
14. An accompaniment to higher mathematics
پدیدآورنده: Exner, George R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
E96
1996
15. An introduction to mathematical reasoning :
پدیدآورنده: Peter J. Eccles
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Proof theory
رده :
QA9
.
54
.
E23
1997
16. An introduction to mathematical reasoning: lectures on numbers, sets, and functions
پدیدآورنده: Eccles, Peter J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
E23
1997
17. An introduction to mathematical reasoning: numbers, sets and functions
پدیدآورنده: Eccles, Peter J.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
E23
1997
18. An introduction to mathematical reasoning : numbers, sets and functions
پدیدآورنده: Peter J. Eccles
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
E22
19. An introduction to the language of mathematics /
پدیدآورنده: Frédéric Mynard.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Proof theory.,Mathematical logic.,Mathematics-- Logic.,Proof theory.
رده :
QA9
.
54
20. Analysis :
پدیدآورنده: Steven R. Lay.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathematical analysis.,Proof theory.,Mathematical analysis.,Proof theory.
رده :
QA300
.
L427
2006
